possible world
noun
1.
(
logic
) (in modal logic) a semantic device formalizing the notion of what the world might have been like. A statement is necessarily true if and only if it is true in every possible world